// $Id: Player.h 106 2007-11-15 14:44:37Z bram $


/**
 * Player class header file.
 *
 * @file Player.h
 * @author Bram Bonn&eacute;
 * @author Wim Leers
 */


#ifndef PLAYER_H
#define PLAYER_H

#include <string>
using namespace std;

class Player {
	public:
		Player(string name = "anonymous", int plays = 0, int victories = 0);
		Player(const Player & other);
		~Player(void) {};
		string GetName(void) const { return m_name; }
		void Setname(string name) { m_name = name; NameToLower(); }
		int GetPlays(void) const { return m_plays; }
		void IncreasePlays(void) { m_plays++; }
		int GetVictories(void) const { return m_victories; }
		float GetPercent(void) const;
		void IncreaseVictories(void) { m_victories++; }
	private:
		string m_name;
		int m_plays;
		int m_victories;
		void NameToLower(void);
};

#endif
